inductive tensor product

归纳张量积